class Monad[m[x]] 

object ml extends Monad[List]
